($\lambda_{2}$$x$. $t$($x$))($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$t$($x$)